$\forall$$M_{1}$, $M_{2}$:MsgA, $l$:IdLnk. $M_{1}$ $\oplus$ $M_{2}$ sends on link $l$ $\Leftrightarrow$ $M_{1}$ sends on link $l$ $\vee$ $M_{2}$ sends on link $l$